On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
نویسندگان
چکیده
منابع مشابه
On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
Unlike monotone single-valued functions, multi-valued mappings may have none, one or (possibly infinitely) many minimal fixed-points. The contribution of this work is twofold. At first we overview and investigate about the existence and computation of minimal fixed-points of multi-valued mappings, whose domain is a complete lattice and whose range is its power set. Second, we show how these res...
متن کاملGeneralized weakly contractive multivalued mappings and common fixed points
In this paper we introduce the concept of generalized weakly contractiveness for a pair of multivalued mappings in a metric space. We then prove the existence of a common fixed point for such mappings in a complete metric space. Our result generalizes the corresponding results for single valued mappings proved by Zhang and Song [14], as well as those proved by D. Doric [4].
متن کاملFixed fuzzy points of generalized Geraghty type fuzzy mappings on complete metric spaces
Generalized Geraghty type fuzzy mappings oncomplete metric spaces are introduced and a fixed point theorem thatgeneralizes some recent comparable results for fuzzy mappings incontemporary literature is obtained. Example is provided to show thevalidity of obtained results over comparable classical results for fuzzymappings in fixed point theory. As an application, existence of coincidencefuzzy p...
متن کاملGeneralized multivalued $F$-contractions on complete metric spaces
In the present paper, we introduce the concept of generalized multivalued $F$ -contraction mappings and give a fixed point result, which is a proper generalization of some multivalued fixed point theorems including Nadler's.
متن کاملGeneralized multivalued $F$-weak contractions on complete metric spaces
In this paper, we introduce the notion of generalized multivalued $F$- weak contraction and we prove some fixed point theorems related to introduced contraction for multivalued mapping in complete metric spaces. Our results extend and improve the results announced by many others with less hypothesis. Also, we give some illustrative examples.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2009
ISSN: 0097-5397,1095-7111
DOI: 10.1137/070695976